Proceedings Sixth International Workshop on Classical Logic and Computation

摘要

The workshop series intends to cover research that investigates thecomputational aspects of classical logic and mathematics. Its focus is onunwinding the computational content of logical principles and proof inmathematics based on these principles, aiming to bring together researchersfrom both fields and exchange ideas. Classical Logic and Computation (CL&C) 2016 was the sixth edition of thisworkshop series held as a satellite to FSCD 2016 on June 23, 2016 in Porto,Portugal. In this sixth edition we received 11 submissions of both short and fullpapers. Eight (8) of these were selected to present at the meeting in Porto,and five (5) full papers were initially accepted to appear at this EPTCSspecial volume of which one was subsequently withdrawn by its authors. Aninvited talk was given by Marc Bezem (U. of Bergen): Coherent Logic - anoverview. Other topics covered by this years submissions included:computational content of proofs using nonstandard analysis, a structuredgrammar-based approach to the Herbrand content of proofs, semantics of thelambda-mu calculus, normalization of classical natural deduction proofs, proofmining of noneffective proofs in convex optimization and algebra by functionalinterpretations. I like to thank the members of the program committee for theirexcellent work: Steffen van Bakel (London), Stefano Berardi (Torino), FernandoFerreira (Lisboa), Hugo de'Liguoro (Torino), Alexandre Miquel (Montevideo). Ulrich Kohlenbach (Darmstadt, PC Chair)